Stochastic Methods to Find Maximum Likelihood for Spam E-mail Classification

The increasing volume of unsolicited bulk e-mails leads to the need for reliable stochastic spam detection methods for the classification of the received sequence of e-mails. When a sequence of emails is received by a recipient during a time period, the spam filters have already classified them as spam or not spam. Due to the dynamic nature of the spam, there might be emails marked as not spam but are actually real spams and vice versa. For the sake of security, it is important to be able to detect real spam emails. This paper utilizes stochastic methods to refine the preliminary spam detection and to find maximum likelihood for spam e-mail classification. The method is based on the Bayesian theorem, hidden Markov model (HMM), and the Viterbi algorithm

Confluence Modulo Equivalence in Constraint Handling Rules

Previous results on proving confluence for Constraint Handling Rules are extended in two ways in order to allow a larger and more realistic class of CHR programs to be considered confluent. Firstly, we introduce the relaxed notion of confluence modulo equivalence into the context of CHR: while confluence for a terminating program means that all alternative derivations for a query lead to the exact same final state, confluence modulo equivalence only requires the final states to be equivalent with respect to an equivalence relation tailored for the given program. Secondly, we allow non-logical built-in predicates such as var/1 and incomplete ones such as is/2, that are ignored in previous work on confluence. To this end, a new operational semantics for CHR is developed which includes such predicates. In addition, this semantics differs from earlier approaches by its simplicity without loss of generality, and it may also be recommended for future studies of CHR. For the purely logical subset of CHR, proofs can be expressed in first-order logic, that we show is not sufficient in the present case. We have introduced a formal meta-language that allows reasoning about abstract states and derivations with meta-level restrictions that reflect the non-logical and incomplete predicates. This language represents subproofs as diagrams, which facilitates a systematic enumeration of proof cases, pointing forward to a mechanical support for such proofs

Search algorithms as a framework for the optimization of drug combinations

Combination therapies are often needed for effective clinical outcomes in the management of complex diseases, but presently they are generally based on empirical clinical experience. Here we suggest a novel application of search algorithms, originally developed for digital communication, modified to optimize combinations of therapeutic interventions. In biological experiments measuring the restoration of the decline with age in heart function and exercise capacity in Drosophila melanogaster, we found that search algorithms correctly identified optimal combinations of four drugs with only one third of the tests performed in a fully factorial search. In experiments identifying combinations of three doses of up to six drugs for selective killing of human cancer cells, search algorithms resulted in a highly significant enrichment of selective combinations compared with random searches. In simulations using a network model of cell death, we found that the search algorithms identified the optimal combinations of 6-9 interventions in 80-90% of tests, compared with 15-30% for an equivalent random search. These findings suggest that modified search algorithms from information theory have the potential to enhance the discovery of novel therapeutic drug combinations. This report also helps to frame a biomedical problem that will benefit from an interdisciplinary effort and suggests a general strategy for its solution.Comment: 36 pages, 10 figures, revised versio

Recognizing Speech in a Novel Accent: The Motor Theory of Speech Perception Reframed

The motor theory of speech perception holds that we perceive the speech of another in terms of a motor representation of that speech. However, when we have learned to recognize a foreign accent, it seems plausible that recognition of a word rarely involves reconstruction of the speech gestures of the speaker rather than the listener. To better assess the motor theory and this observation, we proceed in three stages. Part 1 places the motor theory of speech perception in a larger framework based on our earlier models of the adaptive formation of mirror neurons for grasping, and for viewing extensions of that mirror system as part of a larger system for neuro-linguistic processing, augmented by the present consideration of recognizing speech in a novel accent. Part 2 then offers a novel computational model of how a listener comes to understand the speech of someone speaking the listener's native language with a foreign accent. The core tenet of the model is that the listener uses hypotheses about the word the speaker is currently uttering to update probabilities linking the sound produced by the speaker to phonemes in the native language repertoire of the listener. This, on average, improves the recognition of later words. This model is neutral regarding the nature of the representations it uses (motor vs. auditory). It serve as a reference point for the discussion in Part 3, which proposes a dual-stream neuro-linguistic architecture to revisits claims for and against the motor theory of speech perception and the relevance of mirror neurons, and extracts some implications for the reframing of the motor theory

A Flexible LDPC/Turbo Decoder Architecture

Low-density parity-check (LDPC) codes and convolutional Turbo codes are two of the most powerful error correcting codes that are widely used in modern communication systems. In a multi-mode baseband receiver, both LDPC and Turbo decoders may be required. However, the different decoding approaches for LDPC and Turbo codes usually lead to different hardware architectures. In this paper we propose a unified message passing algorithm for LDPC and Turbo codes and introduce a flexible soft-input soft-output (SISO) module to handle LDPC/Turbo decoding. We employ the trellis-based maximum a posteriori (MAP) algorithm as a bridge between LDPC and Turbo codes decoding. We view the LDPC code as a concatenation of n super-codes where each super-code has a simpler trellis structure so that the MAP algorithm can be easily applied to it. We propose a flexible functional unit (FFU) for MAP processing of LDPC and Turbo codes with a low hardware overhead (about 15% area and timing overhead). Based on the FFU, we propose an area-efficient flexible SISO decoder architecture to support LDPC/Turbo codes decoding. Multiple such SISO modules can be embedded into a parallel decoder for higher decoding throughput. As a case study, a flexible LDPC/Turbo decoder has been synthesized on a TSMC 90 nm CMOS technology with a core area of 3.2 mm2. The decoder can support IEEE 802.16e LDPC codes, IEEE 802.11n LDPC codes, and 3GPP LTE Turbo codes. Running at 500 MHz clock frequency, the decoder can sustain up to 600 Mbps LDPC decoding or 450 Mbps Turbo decoding.NokiaNokia Siemens Networks (NSN)XilinxTexas InstrumentsNational Science Foundatio

Novel precoded relay-assisted algorithm for cellular systems

Cooperative schemes are promising solutions for cellular wireless systems to improve system fairness, extend coverage and increase capacity. The use of relays is of significant interest to allow radio access in situations where a direct path is not available or has poor quality. A data precoded relay-assisted scheme is proposed for a system cooperating with 2 relays, each equipped with either a single antenna or 2-antenna array. However, because of the half-duplex constraint at the relays, relaying-assisted transmission would require the use of a higher order constellation than in the case when a continuous link is available from the BS to the UT. This would imply a penalty in the power efficiency. The simple precoding scheme proposed exploits the relation between QPSK and 16-QAM, by alternately transmitting through the 2 relays, achieving full diversity, while significantly reducing power penalty. Analysis of the pairwise error probability of the proposed algorithm with a single antenna in each relay is derived and confirmed with numerical results. We show the performance improvements of the precoded scheme, relatively to equivalent distributed SFBC scheme employing 16-QAM, for several channel quality scenarios. Copyright © 2010 Sara Teodoro, et al.European project CODIVPortuguese project CADWINPortuguese project AGILEFC

Novel precoded relay-assisted algorithm for cellular systems

Cooperative schemes are promising solutions for cellular wireless systems to improve system fairness, extend coverage and increase capacity. The use of relays is of significant interest to allow radio access in situations where a direct path is not available or has poor quality. A data precoded relay-assisted scheme is proposed for a system cooperating with 2 relays, each equipped with either a single antenna or 2-antenna array. However, because of the half-duplex constraint at the relays, relaying-assisted transmission would require the use of a higher order constellation than in the case when a continuous link is available from the BS to the UT. This would imply a penalty in the power efficiency. The simple precoding scheme proposed exploits the relation between QPSK and 16-QAM, by alternately transmitting through the 2 relays, achieving full diversity, while significantly reducing power penalty. Analysis of the pairwise error probability of the proposed algorithm with a single antenna in each relay is derived and confirmed with numerical results. We show the performance improvements of the precoded scheme, relatively to equivalent distributed SFBC scheme employing 16-QAM, for several channel quality scenarios. Copyright © 2010 Sara Teodoro, et al.European project CODIVPortuguese project CADWINPortuguese project AGILEFC

Novel precoded relay-assisted algorithm for cellular systems

Cooperative schemes are promising solutions for cellular wireless systems to improve system fairness, extend coverage and increase capacity. The use of relays is of significant interest to allow radio access in situations where a direct path is not available or has poor quality. A data precoded relay-assisted scheme is proposed for a system cooperating with 2 relays, each equipped with either a single antenna or 2-antenna array. However, because of the half-duplex constraint at the relays, relaying-assisted transmission would require the use of a higher order constellation than in the case when a continuous link is available from the BS to the UT. This would imply a penalty in the power efficiency. The simple precoding scheme proposed exploits the relation between QPSK and 16-QAM, by alternately transmitting through the 2 relays, achieving full diversity, while significantly reducing power penalty. Analysis of the pairwise error probability of the proposed algorithm with a single antenna in each relay is derived and confirmed with numerical results. We show the performance improvements of the precoded scheme, relatively to equivalent distributed SFBC scheme employing 16-QAM, for several channel quality scenarios. Copyright © 2010 Sara Teodoro, et al.European project CODIVPortuguese project CADWINPortuguese project AGILEFC